Type-checking move-up-slow
...action passes type checking.
Type-checking move-down-slow
...action passes type checking.
Type-checking move-up-fast
...action passes type checking.
Type-checking move-down-fast
...action passes type checking.
Type-checking board
...action passes type checking.
Type-checking leave
...action passes type checking.
Checking plan: <PATH_REMOVED>
Plan to validate:

Plan size: 19
1:
(move-up-fast fast1 n3 n4)
 
2:
(board p2 fast1 n4 n0 n1)
 
3:
(board p3 fast1 n4 n1 n2)
 
4:
(move-down-fast fast1 n4 n2)
 
5:
(leave p2 fast1 n2 n2 n1)
 
6:
(move-down-fast fast1 n2 n0)
 
7:
(leave p3 fast1 n0 n1 n0)
 
8:
(move-up-fast fast0 n0 n1)
 
9:
(board p1 fast0 n1 n0 n1)
 
10:
(board p4 fast0 n1 n1 n2)
 
11:
(move-up-fast fast0 n1 n3)
 
12:
(leave p1 fast0 n3 n2 n1)
 
13:
(leave p4 fast0 n3 n1 n0)
 
14:
(board p5 fast0 n3 n0 n1)
 
15:
(move-down-fast fast0 n3 n2)
 
16:
(leave p5 fast0 n2 n1 n0)
 
17:
(board p0 slow0-0 n1 n0 n1)
 
18:
(move-down-slow slow0-0 n1 n0)
 
19:
(leave p0 slow0-0 n0 n1 n0)
 

Plan Validation details
-----------------------

Checking next happening (time 1)
Deleting (lift-at fast1 n3)
Adding (lift-at fast1 n4)
Updating (total-cost) (0) by 4 increase

Checking next happening (time 2)
Deleting (passenger-at p2 n4)
Deleting (passengers fast1 n0)
Adding (boarded p2 fast1)
Adding (passengers fast1 n1)

Checking next happening (time 3)
Deleting (passenger-at p3 n4)
Deleting (passengers fast1 n1)
Adding (boarded p3 fast1)
Adding (passengers fast1 n2)

Checking next happening (time 4)
Deleting (lift-at fast1 n4)
Adding (lift-at fast1 n2)
Updating (total-cost) (4) by 7 increase

Checking next happening (time 5)
Deleting (boarded p2 fast1)
Deleting (passengers fast1 n2)
Adding (passenger-at p2 n2)
Adding (passengers fast1 n1)

Checking next happening (time 6)
Deleting (lift-at fast1 n2)
Adding (lift-at fast1 n0)
Updating (total-cost) (11) by 7 increase

Checking next happening (time 7)
Deleting (boarded p3 fast1)
Deleting (passengers fast1 n1)
Adding (passenger-at p3 n0)
Adding (passengers fast1 n0)

Checking next happening (time 8)
Deleting (lift-at fast0 n0)
Adding (lift-at fast0 n1)
Updating (total-cost) (18) by 4 increase

Checking next happening (time 9)
Deleting (passenger-at p1 n1)
Deleting (passengers fast0 n0)
Adding (boarded p1 fast0)
Adding (passengers fast0 n1)

Checking next happening (time 10)
Deleting (passenger-at p4 n1)
Deleting (passengers fast0 n1)
Adding (boarded p4 fast0)
Adding (passengers fast0 n2)

Checking next happening (time 11)
Deleting (lift-at fast0 n1)
Adding (lift-at fast0 n3)
Updating (total-cost) (22) by 7 increase

Checking next happening (time 12)
Deleting (boarded p1 fast0)
Deleting (passengers fast0 n2)
Adding (passenger-at p1 n3)
Adding (passengers fast0 n1)

Checking next happening (time 13)
Deleting (boarded p4 fast0)
Deleting (passengers fast0 n1)
Adding (passenger-at p4 n3)
Adding (passengers fast0 n0)

Checking next happening (time 14)
Deleting (passenger-at p5 n3)
Deleting (passengers fast0 n0)
Adding (boarded p5 fast0)
Adding (passengers fast0 n1)

Checking next happening (time 15)
Deleting (lift-at fast0 n3)
Adding (lift-at fast0 n2)
Updating (total-cost) (29) by 4 increase

Checking next happening (time 16)
Deleting (boarded p5 fast0)
Deleting (passengers fast0 n1)
Adding (passenger-at p5 n2)
Adding (passengers fast0 n0)

Checking next happening (time 17)
Deleting (passenger-at p0 n1)
Deleting (passengers slow0-0 n0)
Adding (boarded p0 slow0-0)
Adding (passengers slow0-0 n1)

Checking next happening (time 18)
Deleting (lift-at slow0-0 n1)
Adding (lift-at slow0-0 n0)
Updating (total-cost) (33) by 6 increase

Checking next happening (time 19)
Deleting (boarded p0 slow0-0)
Deleting (passengers slow0-0 n1)
Adding (passenger-at p0 n0)
Adding (passengers slow0-0 n0)
Plan executed successfully - checking goal
Plan valid
Final value: 39 

Successful plans:
Value: 39
 <PATH_REMOVED> 39 


